1. Language in action : categories, lambdas, and dynamic logic
المؤلف: Benthem, J. F. A. K. van
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
1991
2. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
المؤلف: Benthem, J. F. A. K. van
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
رده :
BC
199
.
T4
.
B46
1991
